PET

Benchmark
Model:csma v.1 (MDP)
Parameter(s)N = 4, K = 2
Property:all_before_max (prob-reach)
Invocation (default)
./pet.sh reachability --precision 0.000001 --relative-error --only-result -m csma.4-2.prism -p csma.props --property all_before_max
Execution
Walltime:37.16520047187805s
Return code:0
Relative Error:1.6687591698995963e-11
Log
0.7764601493